Search results for "Mathematical logic"

Talis pater, talis filius: the role of discursive strategies, thematic narratives and ideology in Cosa Nostra

2018

The discursive analysis of criminal organizations’ family dynamics and ideological devices may provide important insights into the inner functioning of these groups. In this article, we describe and analyze a specific set of discursive strategies and the thematic narratives emerging from a TV interview with Giuseppe Riina, a member of Cosa Nostra and the son of one of the most important mafia bosses. Our analyses demonstrate the existence of recurring ideological devices such as reductionism, amoralism, familism, verticalism, normalism, victimism and religious relativism. The results are discussed in light of previous research that examines how discursive strategies and narratives may repre…

Clausal coordination in Finnish Sign Language

2016

This paper deals with the coordination of clauses in Finnish Sign Language (FinSL). Building on conversational data, the paper first shows that linking in conjunctive coordination in FinSL is primarily asyndetic, whereas in adversative and disjunctive coordination FinSL prefers syndetic linking. Secondly, the paper investigates the nonmanual prosody of coordination: nonmanual activity is shown both to mark the juncture of the coordinand clauses and to draw their contours. Finally, the paper addresses certain forms of clausal coordination in FinSL that are sign language-specific. It is suggested that the sign language-specific properties of coordination are caused both by the fact that signe…

Innovation and Entrepreneurial Ecosystems: Structure, Boundaries, and Dynamics

2019

Recognizing the broader dimensions of entrepreneurial and innovation activities, holistic and inclusive networked approaches pave the way to co-creation activities that are essential for achieving sustainability in food systems. Recent studies have started to deepen what are the critical enablers for creating thriving entrepreneurial and innovation ecosystems. Networks that include firms, institutions, and several other relevant stakeholders in knowledge spillovers enable to produce more social and economic value through co-creation processes. However, due to the unique complexity within ecosystems, there is no standardized framework or strategy to develop entrepreneurial or innovation ecos…

Sudoku – A Language Description Case Study

2009

A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

2013

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.

A course of coordinated sciences: The structure of matter

1976

Do graphical overviews facilitate or hinder comprehension in hypertext?

2009

Educational hypertexts usually include graphical overviews, conveying the structure of the text schematically with the aim of fostering comprehension. Despite the claims about their relevance, there is currently no consensus on the impact that hypertext overviews have on the reader's comprehension. In the present paper we have explored how hypertext overviews might affect comprehension with regard to (a) the time at which students read the overview and (b) the hypertext difficulty. The results from two eye-tracking studies revealed that reading a graphical overview at the beginning of the hypertext is related to an improvement in the participant's comprehension of quite difficult hypertexts…

A Unified Approach to Portfolio Optimization with Linear Transaction Costs

2004

In this paper we study the continuous time optimal portfolio selection problem for an investor with a finite horizon who maximizes expected utility of terminal wealth and faces transaction costs in the capital market. It is well known that, depending on a particular structure of transaction costs, such a problem is formulated and solved within either stochastic singular control or stochastic impulse control framework. In this paper we propose a unified framework, which generalizes the contemporary approaches and is capable to deal with any problem where transaction costs are a linear/piecewise-linear function of the volume of trade. We also discuss some methods for solving numerically the p…

Znawca języka czy człowiek komunikujący się? O strukturze kompetencji językowo-komunikacyjnej ucznia klas IV–VI szkoły podstawowej wpisanej w podstaw…

2019

The article aims to answer two questions: how the language instruction framework was inscribed into the 2017/2018 Polish language curriculum and what image of the linguistic and communicative competence results from this document. The research method is based on the assumption that these two questions can be answered by analysing the cognitive operators used in the description of specific requirements. The article analyses the operators found in the ‘language instruction’ section of the curriculum. Within the linguistic and communicative competence, the document distinguishes among metalinguistic, analytical, linguistic (including normative and grammar-lexical competences) and communicative…

Prosodic phenomena in simultaneous interpreting

2005

This paper reports on an empirical study on prosody in English-German simultaneous interpreting. It discusses prosody with particular reference to its tonal, durational and dynamic features, such as intonation, pauses, rhythm and accent, as well as its main functions, i.e. structure and prominence. Following a review of previous studies on the topic, a conceptual approach for the analysis of prosody in terms of structure and prominence is developed and subsequently applied to an authentic corpus of professional simultaneous interpretation consisting of three German versions of a 72-minute English source text. Prosodic patterns in the corpus are analyzed by means of a computer-aided method u…